Van Gelder

#	Item
61	Careful Ranking of Multiple Solvers with Timeouts and Ties Allen Van Gelder Add to Reading List Source URL: users.soe.ucsc.edu Language: English - Date: 2011-04-08 00:56:54 Numerical software NP-complete problems Electronic design automation Formal methods Logic in computer science Boolean satisfiability problem Solver Lis Fridrich Method Theoretical computer science Software Mathematics
62	PDF Document Add to Reading List Source URL: images.austhink.com Language: English - Date: 2008-04-30 01:33:37 Educational psychology Logic Critical thinking Philosophy of education Thought Philosophy Tim van Gelder Meta-analysis Epistemology Education Knowledge Science
63	PDF Document Add to Reading List Source URL: psy.haifa.ac.il Language: English - Date: 2004-04-22 10:03:18 Ethology Cognition Robotics Cognitive neuroscience Embodied cognitive science Embodied cognition Situated cognition Tim van Gelder Dynamical systems theory Cognitive science Science Artificial intelligence